((v1 v2 7) (v2 v3 0) (v3 v4 3) (v4 v5 1) (v5 v6 7) (v6 v7 4) (v7 v8 0) (v8 v9 4) (v9 v1 0))
81
()